The primary goal of this assignment is to practice thinking carefully about invariants, including

• identifying invariants in existing code,

• designing invariants for new code, and

• writing new code with the invariants that you design.